A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs
نویسندگان
چکیده
We present a nondeterministic polynomial-time decision procedure for an extension of multi-level syllogistic with the singleton operator, the Cartesian product, various map constructs, and special predicates asserting respectively that a map term is single valued, injective, and bijective, but with no map image or domain operators. We also prove that the extension of multi-level syllogistic with a map image operator has an ExpTime-hard decision problem, via a reduction of the decision problem for the description logic ALC.
منابع مشابه
Solving New Product Selection Problem by a New Hierarchical Group Decision-making Approach with Hesitant Fuzzy Setting
Selecting the most suitable alternative under uncertainty is considered as a critical decision-making problem that affects the success of organizations. In the selection process, there are a number of assessment criteria, considered by a group of decision makers, which often could be established in a multi-level hierarchy structure. The aim of this paper is to introduce a new hierarchical multi...
متن کاملThe Merrifield-Simmons indices and Hosoya indices of some classes of cartesian graph product
The Merrifield-Simmons index of a graph is defined as the total number of the independent sets of the graph and the Hosoya index of a graph is defined as the total number of the matchings of the graph. In this paper, we give formula for Merrifield-Simmons and Hosoya indices of some classes of cartesian product of two graphs K{_2}×H, where H is a path graph P{_n}, cyclic graph C{_n}, or star gra...
متن کاملBi-objectives Approach for a Multi-period Two Echelons Perishable Product Inventory-routing Problem with Production and Lateral Transshipment
In this study, a two echelons supply chain system in which a supplier is producing perishable product and distribute it to multiple customers is considered. By allowing lateral transshipment mechanism, it is also possible to deliver products to some customers in some periods in bulk, then customers using their own vehicle to transship goods between each other seeking further reduction in the ov...
متن کاملA queuing-location model for in multi-product supply chain with lead time under uncertainty
Supply chain network design (SCND) problem has recently been gaining attention because an integrated management of the supply chain (SC) can reduce the unexpected/undesirable events and can affect definitely the efficiency of all the chain. A critical component of the planning activities of a manufacturing firm is the efficient design of its SC. Hence, SCND affords a sensitive platform for effi...
متن کاملSharp Upper bounds for Multiplicative Version of Degree Distance and Multiplicative Version of Gutman Index of Some Products of Graphs
In $1994,$ degree distance of a graph was introduced by Dobrynin, Kochetova and Gutman. And Gutman proposed the Gutman index of a graph in $1994.$ In this paper, we introduce the concepts of multiplicative version of degree distance and the multiplicative version of Gutman index of a graph. We find the sharp upper bound for the multiplicative version of degree distance and multiplicative ver...
متن کامل